perm filename FILES[F82,JMC]1 blob sn#686790 filedate 1982-11-09 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	[f82,jmc]
C00005 ENDMK
CāŠ—;
[f82,jmc]
ambigu[f82,jmc]		Ambiguity tolerance and desirable vagueness
appoi1[f82,jmc]		A program for keeping track of appointments and advising
balzer.rep[f82,jmc]	Reply to Balzer's message to Bob Kahn
bird[f82,jmc]		Another version of "A bird can fly unless ...
bird.2[f82,jmc]		Another approach to " A bird can fly unless
bird.3[f82,jmc]		The reasoning itself
circum[f82,jmc]		Mathematical questions of circumscription
circum.lec[f82,jmc]	Notes for lecture on circumscription
confli[f82,jmc]		There is too much conflict in the world
enviro[f82,jmc]		Environmental issues for discussion with Sarah
german[f82,jmc]		some German vocabulary
hypert[f82,jmc]		hypertime - speculation in physics
lambda[f82,jmc]		How expensive is lambda calculus computationally?
let1[f82,jmc]		A call-by-need let macro
letby.lsp[f82,jmc]	Call-by-need let macro
lisp.imp[f82,jmc]	improvements to Lisp, lisp 3, new lisp
mathso[f82,jmc]		Abstract of talk for American Mathematical Society
metaep[f82,jmc]		A proposal for meta-epistemology
more[f82,jmc]		More on Circumscription
naviga[f82,jmc]		Radio navigation for cars using fm stations
parall[f82,jmc]		Ideas for a parallel bit string manipulator
reiter[f82,jmc]		To Reiter re circumscription applied to Nixon paradox
safety[f82,jmc]		When safety kills
scheme[f82,jmc]		scheme hairy control structure for samefringe
semina[f82,jmc]		Abstract for seminar on circumscription
tree[f82,jmc]		Another scheme for using trees instead of a-lists
triang.lsp[f82,jmc]	How many queens will fit in a triangle
trian3.lsp[f82,jmc]	Queens in triangle, multiple-value-bind version